$\forall$${\it es}$:ES, ${\it Master}$:AbsInterface(chain\_master()). master{-}constraints(${\it es}$;${\it Master}$) $\in$ $\mathbb{P}$